Text to Algorithm 2

Back-translate the description of each predicate, where the descriptions are linked, and enter the predicate for each description using texttoalg2.